(FILECREATED "17-JAN-76 14:46:19" <LENAT>M4.;1 1696   


     changes to:  TL2 THEO2 RND GETN X)


  (LISPXPRINT (QUOTE M4COMS)
	      T T)
  (RPAQQ M4COMS ((FNS TL2 THEO2 RND GETN X)))
(DEFINEQ

(TL2
  [LAMBDA (D)
    (PRIN1 (CONCAT "D=" D ", Optimal A1="
		   [RND (CAR (SETQ A12 (AM1 2 D]
		   ", A2="
		   (RND (CADR A12))
		   ", and LOGX="
		   (RND (FPLUS (FTIMES (CAR A12)
				       (LOG 2))
			       (FTIMES (CADR A12)
				       (LOG 3])

(THEO2
  [LAMBDA (D)
    (PRIN1 (CONCAT "D=" D ", Optimal A1="
		   [RND (CAR (SETQ A12 (AM1 2 D]
		   ", A2="
		   (RND (CADR A12))
		   ", and X="
		   (RND (N 2 D])

(RND
  [LAMBDA (X)
    (FQUOTIENT (FIX (FTIMES (FPLUS X .05)
			    10.0))
	       10.0])

(GETN
  [LAMBDA (A B C D E F G)
    (ITIMES (EXPT 2 A)
	    (EXPT 3 B)
	    (EXPT 5 C)
	    (EXPT 7 D)
	    (EXPT 11 E)
	    (EXPT 13 F)
	    (EXPT 17 G])

(X
  [LAMBDA (D FOO)
    (SETQ XOLD 1.0E31)
    [FOR A1 FROM (SUB1 (SQRT D)) TO (DIFFERENCE D 1) UNTIL FOO
       DO (PROGN [SETQ LGX
		   (FPLUS (FTIMES A1 (LOG 2))
			  (FTIMES (SETQ A2
				    (DIFFERENCE (FQUOTIENT
						  D
						  (PLUS 1 A1))
						1))
				  (LOG 3]
		 (COND
		   ((LESSP LGX XOLD)
		     (SETQ XOLD LGX))
		   (T (SETQ FOO T)
		      (SETQ A1OLD (SUB1 A1]
    [SETQ LGX (FPLUS (FTIMES A1OLD (LOG 2))
		     (FTIMES (SETQ A2 (DIFFERENCE (FQUOTIENT
						    D
						    (PLUS 1 A1OLD))
						  1))
			     (LOG 3]
    [PRIN1 (CONCAT "D=" D ", A1=" A1OLD ", so: A2=" (RND A2)
		   ", and  LOGX="
		   (RND LGX)
		   ".    A1+1= "
		   (ADD1 A1OLD)
		   ", and  A2+1= "
		   (FPLUS 1.0 (RND A2]
    0])
)
(DECLARE: DONTCOPY
  (FILEMAP (NIL (195 1672 (TL2 207 . 470) (THEO2 474 . 648) (RND 652
. 745) (GETN 749 . 911) (X 915 . 1669)))))
STOP